#ifndef __SYSMEMUSERFORUSER_H
#define __SYSMEMUSERFORUSER_H

#include "../blkalloc.h"

void __KernelMemoryInit();
void __KernelMemoryShutdown();

extern BlkAlloc userMemory;
extern BlkAlloc kernelMemory;

#endif

